Linear groups and computation

Funding: A. S. Detinko is supported by a Marie Skłodowska-Curie Individual Fellowship grant (Horizon 2020, EU Framework Programme for Research and Innovation).We present an exposition of our ongoing project in a new area of applicable mathematics: practical computation with finitely generated linear groups over infinite fields. Methodology and algorithms available for practical computation in this class of groups are surveyed. We illustrate the solution of hard mathematical problems by computer experimentation. Possible avenues for further progress are discussed.PostprintPeer reviewe

Algebra, matrices, and computers

What part does algebra play in representing the real world abstractly? How can algebra be used to solve hard mathematical problems with the aid of modern computing technology? We provide answers to these questions that rely on the theory of matrix groups and new methods for handling matrix groups in a computer

Integrality and arithmeticity of solvable linear groups

Non UBCUnreviewedAuthor affiliation: National University of Ireland, Galway (Ireland)Facult